constant atomic proposition

[数] 常原子命题